Перевод: с английского на русский

с русского на английский

formal space

Страницы
  • 1
  • 2

См. также в других словарях:

  • Space policy of the United States — The Space policy of the United States includes both the making of space policy through the legislative process, and the execution of that policy by both civilian and military space programs and by regulatory agencies. The early history of United… …   Wikipedia

  • Space tourism — is the recent phenomenon of tourists paying for flights into space pioneered by Russia.As of 2008, orbital space tourism opportunities are limited and expensive, with only the Russian Space Agency providing transport. The price for a flight… …   Wikipedia

  • Space — • The idea of space is one of the most important in the philosophy of the material world; for centuries it has preoccupied and puzzled philosophers and psychologists Catholic Encyclopedia. Kevin Knight. 2006. Space     Space …   Catholic encyclopedia

  • Space Moose — was a Canadian underground comic strip that appeared in the University of Alberta s student newspaper, The Gateway, between October 3, 1989 and 1999.[1] Almost all of the strips were penned by Adam Thrasher, a student at the university.[2] For… …   Wikipedia

  • Space in landscape design — refers to a set of theories that address the meaning and nature of space as a volume and as an element of design.The concept of space as the fundamental medium of landscape design grew from debates tied to modernism, contemporary art,… …   Wikipedia

  • Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… …   Wikipedia

  • Formal scheme — In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off… …   Wikipedia

  • Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… …   Wikipedia

  • Space Telescope Science Institute — The Space Telescope Science Institute (STScI) is the science operations center for the Hubble Space Telescope (HST; in orbit since 1990) and for the James Webb Space Telescope (JWST; scheduled to be launched in 2013). STScI is located on the… …   Wikipedia

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»